Optimal. Leaf size=324 \[ \frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{c \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{c \sqrt {b+\sqrt {b^2-4 a c}} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}+\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{c} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 1.02, antiderivative size = 324, normalized size of antiderivative = 1.00, number of steps
used = 9, number of rules used = 6, integrand size = 29, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.207, Rules used = {1307, 223, 212,
1706, 385, 211} \begin {gather*} \frac {\left (-\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \text {ArcTan}\left (\frac {x \sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{c \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {2 c d-e \left (b-\sqrt {b^2-4 a c}\right )}}+\frac {\left (\frac {2 a c e+b^2 (-e)+b c d}{\sqrt {b^2-4 a c}}-b e+c d\right ) \text {ArcTan}\left (\frac {x \sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}{\sqrt {\sqrt {b^2-4 a c}+b} \sqrt {d+e x^2}}\right )}{c \sqrt {\sqrt {b^2-4 a c}+b} \sqrt {2 c d-e \left (\sqrt {b^2-4 a c}+b\right )}}+\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{c} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 211
Rule 212
Rule 223
Rule 385
Rule 1307
Rule 1706
Rubi steps
\begin {align*} \int \frac {x^2 \sqrt {d+e x^2}}{a+b x^2+c x^4} \, dx &=-\frac {\int \frac {a e-(c d-b e) x^2}{\sqrt {d+e x^2} \left (a+b x^2+c x^4\right )} \, dx}{c}+\frac {e \int \frac {1}{\sqrt {d+e x^2}} \, dx}{c}\\ &=-\frac {\int \left (\frac {-c d+b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}}{\left (b-\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}}+\frac {-c d+b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}}{\left (b+\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}}\right ) \, dx}{c}+\frac {e \text {Subst}\left (\int \frac {1}{1-e x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{c}\\ &=\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{c}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\left (b+\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}} \, dx}{c}-\frac {\left (-c d+b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \int \frac {1}{\left (b-\sqrt {b^2-4 a c}+2 c x^2\right ) \sqrt {d+e x^2}} \, dx}{c}\\ &=\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{c}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{b+\sqrt {b^2-4 a c}-\left (-2 c d+\left (b+\sqrt {b^2-4 a c}\right ) e\right ) x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{c}-\frac {\left (-c d+b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \text {Subst}\left (\int \frac {1}{b-\sqrt {b^2-4 a c}-\left (-2 c d+\left (b-\sqrt {b^2-4 a c}\right ) e\right ) x^2} \, dx,x,\frac {x}{\sqrt {d+e x^2}}\right )}{c}\\ &=\frac {\left (c d-b e-\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b-\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{c \sqrt {b-\sqrt {b^2-4 a c}} \sqrt {2 c d-\left (b-\sqrt {b^2-4 a c}\right ) e}}+\frac {\left (c d-b e+\frac {b c d-b^2 e+2 a c e}{\sqrt {b^2-4 a c}}\right ) \tan ^{-1}\left (\frac {\sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e} x}{\sqrt {b+\sqrt {b^2-4 a c}} \sqrt {d+e x^2}}\right )}{c \sqrt {b+\sqrt {b^2-4 a c}} \sqrt {2 c d-\left (b+\sqrt {b^2-4 a c}\right ) e}}+\frac {\sqrt {e} \tanh ^{-1}\left (\frac {\sqrt {e} x}{\sqrt {d+e x^2}}\right )}{c}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] Leaf count is larger than twice the leaf count of optimal. \(4331\) vs. \(2(324)=648\).
time = 16.03, size = 4331, normalized size = 13.37 \begin {gather*} \text {Result too large to show} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.13, size = 222, normalized size = 0.69
method | result | size |
default | \(-\sqrt {e}\, \left (-\frac {\munderset {\textit {\_R} =\RootOf \left (c \,\textit {\_Z}^{4}+\left (4 e b -4 c d \right ) \textit {\_Z}^{3}+\left (16 a \,e^{2}-8 d e b +6 c \,d^{2}\right ) \textit {\_Z}^{2}+\left (4 d^{2} e b -4 c \,d^{3}\right ) \textit {\_Z} +d^{4} c \right )}{\sum }\frac {\left (\left (e b -c d \right ) \textit {\_R}^{2}+2 \left (2 a \,e^{2}-d e b +c \,d^{2}\right ) \textit {\_R} +d^{2} e b -c \,d^{3}\right ) \ln \left (\left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )^{2}-\textit {\_R} \right )}{c \,\textit {\_R}^{3}+3 \textit {\_R}^{2} b e -3 \textit {\_R}^{2} c d +8 \textit {\_R} a \,e^{2}-4 \textit {\_R} b d e +3 c \,d^{2} \textit {\_R} +d^{2} e b -c \,d^{3}}}{2 c}+\frac {\ln \left (\sqrt {e \,x^{2}+d}-\sqrt {e}\, x \right )}{c}\right )\) | \(222\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 1663 vs.
\(2 (289) = 578\).
time = 2.66, size = 1663, normalized size = 5.13 \begin {gather*} -\frac {\sqrt {\frac {1}{2}} c \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\frac {b c d^{2} x^{2} + 4 \, a b x^{2} e^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} d x^{2} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} - 2 \, a c d^{2} + 2 \, \sqrt {\frac {1}{2}} {\left ({\left (b^{2} c - 4 \, a c^{2}\right )} d x - {\left (b^{3} - 4 \, a b c\right )} x e + {\left (b^{3} c^{2} - 4 \, a b c^{3}\right )} x \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}\right )} \sqrt {x^{2} e + d} \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} - {\left ({\left (b^{2} + 4 \, a c\right )} d x^{2} - 2 \, a b d\right )} e}{x^{2}}\right ) - \sqrt {\frac {1}{2}} c \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\frac {b c d^{2} x^{2} + 4 \, a b x^{2} e^{2} + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} d x^{2} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} - 2 \, a c d^{2} - 2 \, \sqrt {\frac {1}{2}} {\left ({\left (b^{2} c - 4 \, a c^{2}\right )} d x - {\left (b^{3} - 4 \, a b c\right )} x e + {\left (b^{3} c^{2} - 4 \, a b c^{3}\right )} x \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}\right )} \sqrt {x^{2} e + d} \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} - {\left ({\left (b^{2} + 4 \, a c\right )} d x^{2} - 2 \, a b d\right )} e}{x^{2}}\right ) + \sqrt {\frac {1}{2}} c \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\frac {b c d^{2} x^{2} + 4 \, a b x^{2} e^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} d x^{2} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} - 2 \, a c d^{2} + 2 \, \sqrt {\frac {1}{2}} {\left ({\left (b^{2} c - 4 \, a c^{2}\right )} d x - {\left (b^{3} - 4 \, a b c\right )} x e - {\left (b^{3} c^{2} - 4 \, a b c^{3}\right )} x \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}\right )} \sqrt {x^{2} e + d} \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} - {\left ({\left (b^{2} + 4 \, a c\right )} d x^{2} - 2 \, a b d\right )} e}{x^{2}}\right ) - \sqrt {\frac {1}{2}} c \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} \log \left (\frac {b c d^{2} x^{2} + 4 \, a b x^{2} e^{2} - {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} d x^{2} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}} - 2 \, a c d^{2} - 2 \, \sqrt {\frac {1}{2}} {\left ({\left (b^{2} c - 4 \, a c^{2}\right )} d x - {\left (b^{3} - 4 \, a b c\right )} x e - {\left (b^{3} c^{2} - 4 \, a b c^{3}\right )} x \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}\right )} \sqrt {x^{2} e + d} \sqrt {-\frac {b c d - {\left (b^{2} - 2 \, a c\right )} e + {\left (b^{2} c^{2} - 4 \, a c^{3}\right )} \sqrt {\frac {c^{2} d^{2} - 2 \, b c d e + b^{2} e^{2}}{b^{2} c^{4} - 4 \, a c^{5}}}}{b^{2} c^{2} - 4 \, a c^{3}}} - {\left ({\left (b^{2} + 4 \, a c\right )} d x^{2} - 2 \, a b d\right )} e}{x^{2}}\right ) - 2 \, e^{\frac {1}{2}} \log \left (-2 \, x^{2} e - 2 \, \sqrt {x^{2} e + d} x e^{\frac {1}{2}} - d\right )}{4 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {x^{2} \sqrt {d + e x^{2}}}{a + b x^{2} + c x^{4}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A]
time = 3.85, size = 27, normalized size = 0.08 \begin {gather*} -\frac {e^{\frac {1}{2}} \log \left ({\left (x e^{\frac {1}{2}} - \sqrt {x^{2} e + d}\right )}^{2}\right )}{2 \, c} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {x^2\,\sqrt {e\,x^2+d}}{c\,x^4+b\,x^2+a} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________